type theory - Spanish English Dictionary